That's all I could find, so not certain whether they disposed of or not, but have to agree it seems like it would have been a net positive.